home *** CD-ROM | disk | FTP | other *** search
/ Turnbull China Bikeride / Turnbull China Bikeride - Disc 1.iso / ARGONET / PD / PROGRAMMING / LCLINT-D.SPK / lclint / guide / annotglobs.c < prev    next >
Encoding:
C/C++ Source or Header  |  1996-08-26  |  331 b   |  23 lines
  1. int globnum;
  2.  
  3. struct { 
  4.   char *firstname;
  5.   char *lastname;
  6.   int id; 
  7. } globname;
  8.  
  9. void 
  10. initialize (/*@only@*/ char *name)
  11.   /*@globals undef globnum,
  12.              undef globname @*/
  13. {
  14.   globname.id = globnum;
  15.   globname.lastname = name;
  16. }
  17.  
  18. void finalize (void)
  19.    /*@globals killed globname@*/
  20. {
  21.   free (globname.lastname);
  22. }
  23.